Automatic testing tool for Java ADTS
نویسندگان
چکیده
The inherent properties of Abstract Data types are a good basis for systematic testing and for decoupling design and development of software. We propose checking the implementation of Java Classes for Abstract Data Types using the Java Class Interface Definition and an Oracle of Test Cases that specify expected results. This task is performed by a software tool proving for automatic Unit Testing.
منابع مشابه
Specification-Driven Unit Test Generation for Java Generic Classes
Several approaches exist to automatically derive test cases that check the conformance of the implementation of abstract data types (ADTs) with respect to their specification. However, they lack support for the testing of implementations of ADTs defined by generic classes. In this paper, we present a novel technique to automatically derive, from specifications, unit test cases for Java generic ...
متن کاملJCrasher: an automatic robustness tester for Java
JCrasher is an automatic robustness testing tool for Java code. JCrasher examines the type information of a set of Java classes and constructs code fragments that will create instances of different types to test the behavior of public methods under random data. JCrasher attempts to detect bugs by causing the program under test to “crash”, that is, to throw an undeclared runtime exception. Altho...
متن کاملAn Informal Formal Method for Systematic JUnit Test Case Generation
The JUnit testing tool is widely used to support the central XP concept of test first software development. While JUnit provides Java classes for expressing test cases and test suites, it does not provide or proscribe per se any guidelines for deciding what test cases are good ones for any particular class. We have developed a method for systematically creating complete and consistent test cl...
متن کاملValidation of Results in Testing Abstract Data Types: a Method for Automation*
The role of reusable, abstract data types (ADTs) in improving software quality has been widely recognized, and much attention has focused on certifying the correctness of implementations of ADTs, using formal testing methods. A major problem with manual testing techniques has been over-reliance on the tester’s ability to interpret correctly and to validate test results. This problem can be part...
متن کاملEnhancing Design by Contract with Knowledge about Equivalence Partitions
Software testing seems to be a huge struggle for most developers. This is presumably because of the amount of manual work involved in software testing. In this article we propose a testing approach that makes the testing process less manual. The approach combines three well-known concepts Design by Contract, Unit Testing and Equivalence Partitioning into a new approach named Testing by Contract...
متن کامل